منابع مشابه
Safe Dike Heights at Minimal Costs: The Nonhomogeneous Case
Dike height optimization is of major importance to the Netherlands as a large part of the country lies below sea level and high water levels in rivers can cause floods. A cost-benefit analysis is discussed in Eijgenraam et al. (2010), which is an improvement of the model Van Dantzig (1956) introduced after a devastating flood in the Netherlands in 1953. We consider the extension of this model t...
متن کاملMinimal Dominating Set Enumeration
Let G be a graph on n vertices and m edges. An edge is written xy (equivalently yx). A dominating set in G is a set of vertices D such that every vertex of G is either in D or is adjacent to some vertex of D. It is said to be minimal if it does not contain any other dominating set as a proper subset. For every vertex x let N [x] be {x} ∪ {y | xy ∈ E}, and for every S ⊆ V let N [S] := ⋃ x∈S N [x...
متن کاملObtaining a minimal set of rewrite rules
In this paper we describe a new approach to rewrite rule extraction and analysis, using Minimal Representation Graphs. This approach provides a mechanism for obtaining the smallest possible rule set – within a context-dependent rewrite rule formalism – that describes a set of discrete training data completely, as an indirect approach to obtaining optimal accuracy on an unseen test set. We demon...
متن کاملA Statistics-directed Minimal Hitting Set Algorithm ⋆
Generating minimal hitting sets of a collection of sets is known to be NPhard, necessitating heuristic approaches to handle large problems. In this paper a low-cost, approximate minimal hitting set (MHS) algorithm, coined Staccato, is presented. Staccato uses a heuristic function, borrowed from a lightweight, statistics-based software fault localization approach, to guide the MHS search. Given ...
متن کاملA Minimal Model for Set Theory
In the proof of the consistency of the Continuum Hypothesis and the Axiom of Choice with the other axioms of set theory, Gödel [ l ] introduced the notion of a constructible set and showed that the constructible sets form a model for set theory. These sets are intuitively those which can be reached by means of a transfinite sequence of several simple operations. He then showed that the Axiom of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1949
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1949-09318-7